(declare-fun x () Real)
(assert (> x 0.0))
(check-sat)
